'''
Created on 2011-04-27

@author: kacper


'''


class SyntaxError(Exception):
    def __init__(self, value):
         self.value = value
    def __str__(self):
         return repr(self.value)
     
class UnificationError(Exception):
    def __init__(self,t1,t2, w):
        self.t1 =t1
        self.t2 = t2
        self.w = w
        
    def __str__(self):
        return repr(self.w) + " "+ repr(self.t1) + " "+repr(self.t2)